Security Systems for Distributed Models in Ptolemy II

نویسنده

  • Rakesh Reddy
چکیده

Ptolemy II is a powerful software package that models heterogeneous systems. Its infrastructure offers the ability to create distributed models, but lacks the security mechanisms to protect data being transferred in these models. The lack of security can lead to many potential threats and breaches of information. Potential attackers can jeopardize system stability by manipulating data in transit or by transmitting harmful models. Distributed models may also pass security sensitive data where outside parties should not be able to determine the information being passed. The current infrastructure however has no means to keep such information secure from eavesdropping. Eliminating these security threats requires the implementation of various cryptographic services including ciphers and digital signatures. The Sun Java Cryptography Architecture and Java Cryptography Extension packages provide the tools needed in eliminating these breaches of security. The semantics used by the abovementioned Java packages allow for the creation of actors in which a diverse number of algorithms can be used with minimal knowledge of cryptography. By creating Ptolemy II actors that implement cryptographic services, we achieve a flexible yet, powerful defense of potential security leaks in distributed models. The result is being able to send and receive data Ptolemy II distributed models without the concern of information leaks or receiving adverse applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling Distributed Hybrid Systems in Ptolemy II

Ptolemy II [2] supports the modeling of heterogeneous systems by using a hierarchical component-based architecture and well-defined models of computation. The basic component in Ptolemy II is called an actor. Actors have por t s , which are their communication interface to other actors. An aggregation of actors and their connections is called a comp o s i t e ac tor . A composi te actor can hav...

متن کامل

A Time-Centric Model for Cyber-Physical Applications

The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the...

متن کامل

Code Generation for PTIDES Models

PTIDES is a programming model for distributed real-time embedded systems. PTIDES builds on Discrete-Event (DE) semantics and leverages a global notion of time throughout distributed platforms. Applications expressed in PTIDES models can be designed without any knowledge about the hardware platform upon which it is implemented, thus completely decoupling the design from the implementation. To br...

متن کامل

Co-simulation of Event-B and Ptolemy II Models via FMI

In the framework of model-based design formal modelling, verification and simulation of safety-critical systems are supported by several methods and tools. Interfacing these tools often becomes challenging for heterogeneous systems. The FMI standard enables integration of different simulation tools through artefacts called Functional Mockup Units (FMU) [1]. The FMI standard is mainly based on t...

متن کامل

Code Generation for Discrete Event Controllers in Ptolemy II

The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003